6 research outputs found
Living IoT: A Flying Wireless Platform on Live Insects
Sensor networks with devices capable of moving could enable applications
ranging from precision irrigation to environmental sensing. Using mechanical
drones to move sensors, however, severely limits operation time since flight
time is limited by the energy density of current battery technology. We explore
an alternative, biology-based solution: integrate sensing, computing and
communication functionalities onto live flying insects to create a mobile IoT
platform.
Such an approach takes advantage of these tiny, highly efficient biological
insects which are ubiquitous in many outdoor ecosystems, to essentially provide
mobility for free. Doing so however requires addressing key technical
challenges of power, size, weight and self-localization in order for the
insects to perform location-dependent sensing operations as they carry our IoT
payload through the environment. We develop and deploy our platform on
bumblebees which includes backscatter communication, low-power
self-localization hardware, sensors, and a power source. We show that our
platform is capable of sensing, backscattering data at 1 kbps when the insects
are back at the hive, and localizing itself up to distances of 80 m from the
access points, all within a total weight budget of 102 mg.Comment: Co-primary authors: Vikram Iyer, Rajalakshmi Nandakumar, Anran Wang,
In Proceedings of Mobicom. ACM, New York, NY, USA, 15 pages, 201
Amortized Rejection Sampling in Universal Probabilistic Programming
Existing approaches to amortized inference in probabilistic programs with
unbounded loops can produce estimators with infinite variance. An instance of
this is importance sampling inference in programs that explicitly include
rejection sampling as part of the user-programmed generative procedure. In this
paper we develop a new and efficient amortized importance sampling estimator.
We prove finite variance of our estimator and empirically demonstrate our
method's correctness and efficiency compared to existing alternatives on
generative programs containing rejection sampling loops and discuss how to
implement our method in a generic probabilistic programming framework
Efficient probabilistic inference in the quest for physics beyond the standard model
We present a novel probabilistic programming framework that couples directly to existing large-scale simulators through a cross-platform probabilistic execution protocol, which allows general-purpose inference engines to record and control random number draws within simulators in a language-agnostic way. The execution of existing simulators as probabilistic programs enables highly interpretable posterior inference in the structured model defined by the simulator code base. We demonstrate the technique in particle physics, on a scientifically accurate simulation of the Ï„ (tau) lepton decay, which is a key ingredient in establishing the properties of the Higgs boson. Inference efficiency is achieved via inference compilation where a deep recurrent neural network is trained to parameterize proposal distributions and control the stochastic simulator in a sequential importance sampling scheme, at a fraction of the computational cost of a Markov chain Monte Carlo baseline